Formal Reasoning about Software Object Translations
Identifieur interne : 000966 ( Main/Exploration ); précédent : 000965; suivant : 000967Formal Reasoning about Software Object Translations
Auteurs : Vladis Berzins [États-Unis] ; Luqi [États-Unis] ; Peter Musial [États-Unis]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2010.
Abstract
Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.
Url:
DOI: 10.1007/978-3-642-12566-9_3
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 001708
- to stream Istex, to step Curation: 001352
- to stream Istex, to step Checkpoint: 000471
- to stream Main, to step Merge: 000969
- to stream Main, to step Curation: 000966
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Formal Reasoning about Software Object Translations</title>
<author><name sortKey="Berzins, Vladis" sort="Berzins, Vladis" uniqKey="Berzins V" first="Vladis" last="Berzins">Vladis Berzins</name>
</author>
<author><name sortKey="Luqi" sort="Luqi" uniqKey="Luqi" last="Luqi">Luqi</name>
</author>
<author><name sortKey="Musial, Peter" sort="Musial, Peter" uniqKey="Musial P" first="Peter" last="Musial">Peter Musial</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:6DEF45FA72B3334740B60E03FBC47E070A3F82C6</idno>
<date when="2010" year="2010">2010</date>
<idno type="doi">10.1007/978-3-642-12566-9_3</idno>
<idno type="url">https://api.istex.fr/document/6DEF45FA72B3334740B60E03FBC47E070A3F82C6/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001708</idno>
<idno type="wicri:Area/Istex/Curation">001352</idno>
<idno type="wicri:Area/Istex/Checkpoint">000471</idno>
<idno type="wicri:doubleKey">0302-9743:2010:Berzins V:formal:reasoning:about</idno>
<idno type="wicri:Area/Main/Merge">000969</idno>
<idno type="wicri:Area/Main/Curation">000966</idno>
<idno type="wicri:Area/Main/Exploration">000966</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Formal Reasoning about Software Object Translations</title>
<author><name sortKey="Berzins, Vladis" sort="Berzins, Vladis" uniqKey="Berzins V" first="Vladis" last="Berzins">Vladis Berzins</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA</wicri:regionArea>
<placeName><region type="state">Californie</region>
</placeName>
</affiliation>
</author>
<author><name sortKey="Luqi" sort="Luqi" uniqKey="Luqi" last="Luqi">Luqi</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA</wicri:regionArea>
<placeName><region type="state">Californie</region>
</placeName>
</affiliation>
</author>
<author><name sortKey="Musial, Peter" sort="Musial, Peter" uniqKey="Musial P" first="Peter" last="Musial">Peter Musial</name>
<affiliation wicri:level="2"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Computer Science Department, Naval Postgraduate School, 1411 Cunningham Rd., 93943, Monterey, CA</wicri:regionArea>
<placeName><region type="state">Californie</region>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country xml:lang="fr">États-Unis</country>
<wicri:regionArea>Department of Computer Science, University of Puerto Rico, Rio Piedras, P.O. Box 23328, 00931, San Juan, PR</wicri:regionArea>
<wicri:noRegion>PR</wicri:noRegion>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2010</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
</series>
<idno type="istex">6DEF45FA72B3334740B60E03FBC47E070A3F82C6</idno>
<idno type="DOI">10.1007/978-3-642-12566-9_3</idno>
<idno type="ChapterID">Chap3</idno>
<idno type="ChapterID">3</idno>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: In this work we examine the problem of verifying translations from outputs of one system to the inputs of another system, which we refer to as the output-to-input translation problem. We present a formalization of this problem along with a verification mechanism based on constraint logic programming. Composition of systems is an important issue in the software reuse domain, and has applicability in other areas of software engineering such as transformation of information from one phase of the development process to another. Some challenges are to verify the translation mechanisms that may be needed to connect independently designed components and assess to what degree is the consumer component functionality enabled after the composition takes place. To this end we use constraint logic programming modeling techniques. Our model allows formalization of the translation problem in the form of constraints and relations between the outputs and the inputs of involved components. Since CLP tools are computationally expensive, we identify characteristics of translation problems for which our technique is practical. We conclude with an application of our translation framework within the Documentation Driven Software Development methodology.</div>
</front>
</TEI>
<affiliations><list><country><li>États-Unis</li>
</country>
<region><li>Californie</li>
</region>
</list>
<tree><country name="États-Unis"><region name="Californie"><name sortKey="Berzins, Vladis" sort="Berzins, Vladis" uniqKey="Berzins V" first="Vladis" last="Berzins">Vladis Berzins</name>
</region>
<name sortKey="Luqi" sort="Luqi" uniqKey="Luqi" last="Luqi">Luqi</name>
<name sortKey="Musial, Peter" sort="Musial, Peter" uniqKey="Musial P" first="Peter" last="Musial">Peter Musial</name>
<name sortKey="Musial, Peter" sort="Musial, Peter" uniqKey="Musial P" first="Peter" last="Musial">Peter Musial</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/MozartV1/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000966 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 000966 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Musique |area= MozartV1 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:6DEF45FA72B3334740B60E03FBC47E070A3F82C6 |texte= Formal Reasoning about Software Object Translations }}
This area was generated with Dilib version V0.6.20. |